машина логического вывода

1. inferencing engine

алгоритм логического вывода — inferencing algorithm

механизм логического вывода — inference engine

формирование вывода — inferencing

2. inference engine

супермашина логического вывода — super inference machine

транзитивный логический вывод — transitive inference

схемы вывода; механизмы вывода — inference machinery

вывод в пользу противной стороны — adverse inference

пропозициональный вывод — propositional inference

3. inference machine

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference